2 research outputs found
Simple Open-Source Formal Verification of Industrial Programs
- Publication venue
- DigitalCommons@CalPoly
- Publication date
- 01/03/2023
- Field of study
Industrial programs written on Programmable Logic Controllers (PLCs) have become an essential component of many modern industries, including automotive, aerospace, manufacturing, infrastructure, and even amusement parks. As these safety-critical systems become larger and more complex, ensuring their continuous error-free operation has become a significant and important challenge. Formal methods are a potential solution to this issue but have traditionally required substantial time and expertise to deploy. This usability issue is compounded by the fact that PLCs are highly proprietary and have substantial licensing costs, making it difficult to learn about or deploy formal methods on them.
This thesis presents the OPPP (Open-source Proving of PLC Programs) system as a solution to this usability issue. The OPPP system allows the end-to-end creation and verification of PLC programs from within the development environment. The system is created with an emphasis on being easy to use, with formal constraints presented in English phrases that require no special knowledge to understand. The system uses entirely open-source components, including modified versions of both the OpenPLC development environment and the PLCverif verification platform. The OPPP system is then demonstrated to formalize the requirements of two college-level introductory PLC programming problems. It is further demonstrated to correctly find errors in and verify the correctness of a known good and known bad solution to each problem
Subretinal Hyperreflective Material in the Comparison of Age-Related Macular Degeneration Treatments Trials
- Author
- A. Tom Ghuman
- Aaron Towe
- Abby Brotherton
- Adam Brooks
- Adam Specker
- Adam Zamboni
- Adrienne Brower-Lingsch
- Aida Ayyad
- Alan Letson
- Alan Margherio
- Alan Ruby
- Albert Edwards
- Albert Frederick
- Alecia Travis
- Alessandro Castellarin
- Alex S. Willoughby
- Alex Schlosser
- Alexander Ho
- Alexander Khvatov
- Alexander Melamud
- Allen Ho
- Allison Cassidy
- Allison Guidry
- Allison Schnader
- Alysia Cronise
- Amanda Barnett
- Amanda Battcher
- Amanda Butt
- Amanda Bye
- Amanda Dinatale
- Amanda Fec
- Amanda Milliron
- Amanda Palomo
- Ames Munden
- Amy Dilback
- Amy Harris
- Amy Leviton
- Amy Martir
- Amy Noffke
- Amy Schultz
- Andreas Lauer
- Andrew Barkmeier
- Andrew N. Antoszyk
- Angela Price
- Angela Wealti
- Angie Karow
- Ann Arnold
- Ann Borthwick
- Ann Lundquist
- Anna Fagan
- Anne Lindblad
- Annette Vaughn
- AnnMarie Lavorna
- Antonio Capone
- April E. Harris
- Arthur D. Fu
- Arthur Willis
- Arun Patel
- Ashish Sharma
- Ashley Lester
- Avni Vyas
- Baker Hubbard
- Barbara Blodi
- Barbara Connell
- Barbara J. Ciscato
- Barbara Soderling
- Barbara Taylor
- Barry Golub
- Beau Richter
- Belinda Kosinski
- Bernard H. Doft
- Bertha Luevano
- Beth Daniels
- Beth Winder
- Bethany Sink
- Betsy Hendrix
- Blaine Cribbs
- Bob Boleman
- Brad Terry
- Bradley Jost
- Brandi Teske
- Brandon Busbee
- Brandon J. Lujan
- Brannon Balsley
- Brenda Branchaud
- Brenda Sanchez
- Brenda VanHoose
- Brett Rosenblatt
- Brian Fernandez
- Brian Reed
- Bridget Forke
- Brittany Ross
- Brooke Waller
- Brooks McCuen
- Brown
- Bruce Garretson
- Bruce Keyser
- Bryan Schwent
- C. Nicki Lenane
- Cameron Javid
- Candace Parker
- Candace Pereira
- Candice DuLong
- Carl C. Awh
- Carl Regillo
- Carmen Chan-Tram
- Carmen Lopez
- Carol Crooks
- Carol Slagle
- Carolyn Herbert
- Carolyn Walters
- Carrie Tarter
- Cary Stoever
- Cassandra J. Barnhart
- Cassie Cahill
- Caterina Massimino
- Cathy Sears
- Cathy Timma
- Cecile Hunt
- Celeste Figliulo
- Chad Indermill
- Charity K. Morris
- Charlene Callahan
- Charles C. Barr
- Charlotte Harris
- Charlotte Kelly
- Cheala Harrison
- ChengChenh Huang
- Cheryl Kiesel
- Cheyanne Lester
- Chris Bergstrom
- Chris Howell
- Christin Elliott
- Christina Centinaro
- Christina Consolo
- Christina Fulwylie
- Christina J. Flaxel
- Christina Puglisi
- Christina Schultz
- Christine Hoerner
- Christophe Mallet
- Christopher Andreoli
- Christopher Dock
- Christopher Morris
- Cindi Hood
- Cindy Cook
- Cindy Fernandez
- Cindy Heydary
- Cindy Montague
- Cindy Skalak
- Cindy Skalak
- Cindy Stephan
- Cindy Wallace
- Clarence Pence
- Claressa Whearry
- Claudia Evans
- Clifford Sherley
- Colin A. McCannel
- Colin Ma
- Connie Dwiggins
- Connie J. Hinz
- Corin Kew
- Courtney Dunn
- Craig Bridges
- Craig Lemley
- Crystal Kinsman
- Crystal Peters
- Cynthia A. Toth
- Cynthia Toth
- Cynthia Toth
- Daaimah Muhammad
- Dallas Kubecka
- Dan Muir
- Dana Gabel
- Daniel
- Daniel B. Roth
- Daniel F. Martin
- Daniel F. Martin
- Daniel F. Martin
- Daniel F. Martin
- Daniel M. Berinstein
- Daniel P. Joseph
- Danielle Brooks
- Danielle Dyshanowitz
- Danielle Puskas
- Danielle Smith
- Danny Lopez
- Dante Pieramici
- Darin Haivala
- David Boyer
- David Browning
- David Callanan
- David F. Williams
- David F. Williams
- David Fastenberg
- David Goldenberg
- David H. Orth
- David Johnson
- David L. DeMets
- David M. Brown
- David Rhee
- David Steinberg
- David Telander
- Dawn Hudson
- Dawn Moore
- Dayna Bartoli
- Deana Rogers
- Debbie Ciampaglia
- Debbie Fredrickson
- Debbie Oliver
- Debora Jordan
- Debora Vahrenwald
- Deborah Fine
- Deborah Gibbs
- Debra Cantrell
- Debra Goates
- Debra Markus
- Debra Schoen
- DeCroos
- Dee Busian
- Demetrios Vavvas
- Dena Beck
- Dena Firestone
- Denis Bezaire
- Denise Krolnik
- Denise Lewison
- Dennis Donovan
- Derek Kunimoto
- Diana Holcomb
- Diana Jaramillo
- Diane Denning
- Diane E. Weiss
- Diane Vogen
- Dianne Himmelman
- Don Doherty
- Donald Lowd
- Donald Park
- Donna Leef
- Donna McClain
- Doug Bryant
- Douglas Critser
- Douglas W. Losordo
- Dwain Fuller
- Dwight Selders
- E. Revell Martin
- Ebenezer Daniel
- Ebenezer Daniel
- Ebenezer Daniel
- Ebenezer Daniel
- Ed Slade
- Edward Miretsky
- Edward Quinlan
- Edwin Ryan
- Egbert Saavedra
- Eileen Knips
- Elaine Lee
- Elaine Liebenbaum
- Elisabeth Flannagan
- Elizabeth Affel
- Elizabeth Mcnamara
- Ellen Coyle
- Ellen Peskin
- Ellen Peskin
- Ellen Peskin
- Ellen Peskin
- Ellen Redenbo
- Ellen Young
- Emily Corey
- Emily Cox
- Emily DuBois
- Emily Hutchins
- Eric Kegley
- Eric Protacio
- Eric Shakin
- Erica Bickhart
- Erica Kill
- Erin McKenna
- Etienne Schoeman
- Everton Arrindell
- Evie Tempel
- Fatoumatta NDure
- Firas Rahhal
- Flory Green
- Fran Hogue
- Francis Char DeCroos
- Franklin G. Miller
- Frederick H. Davidorf
- Frederick L. Ferris
- Gabe Balea
- Gary Brown
- Gary Edd Fish
- Gary Gutow
- Gene Knutson
- Gennaro Follano
- George Williams
- Gilbert Grand
- Gina Lester
- Gina Shelton
- Ginny Nobel
- Glenda Salcedo
- Glenn J. Jaffe
- Glenn Jaffe
- Glenn Jaffe
- Glenn Jaffe
- Glenn Wing
- Greg K. Whittington
- Gregg Greanoff
- Grunwald
- Gui-shuang Ying
- Gui-Shuang Ying
- Guy Somers
- Gwen Holsapple
- H. Richard McDonald
- Hank A. Aguado
- Harold Wheatley
- Harpreet Kaur
- Harry Wohlsein
- Hayashi
- Heather Dunlap
- Heather Jessick
- Heather Justice
- Heather Locke
- Heather Shultz
- Heather Stockman
- Helen Metzler
- Herbert Cantrill
- Hernando Zegarra
- Holly Cheshier
- Holly Mechling
- Homayoun Tabandeh
- Howard Daniel
- Howard Fine
- Idalew Good
- Ingrid Aviles
- Ingrid Kerr
- Iris R. Sison
- Irvin Handelman
- Isabell Tellez
- Ivan Suner
- Ivana Kim
- J. Michael Jumper
- Jack Giust
- Jack Sipperley
- Jackey Hardin
- Jaclyn Lopez
- Jaffe
- James C. Folk
- James Miller
- James Vander
- Jamie Mariano
- Jane Deinzer
- Janet Kreienkamp
- Janet Kurokouchi
- Janet Wilburn
- Janine Newgen
- Jannah Dobbs
- Jarrod Wehmeier
- Jason Hsu
- Jason Rohrer
- Jason Sanders
- Jay Bedel
- Jayme Miracle
- Jayne Nicholson
- Jean Arnwine
- Jean Burrington
- Jean Walshire
- Jeanne Queen
- Jeanne Queen
- Jeanne Van Arsdall
- Jeff Kessinger
- Jen Stone
- Jenna Herby
- Jennifer A. Cornelius
- Jennifer Afrani-Sakyi
- Jennifer Banks
- Jennifer Belz
- Jennifer Frederick
- Jennifer Grillion-Cerone
- Jennifer Krumlauf
- Jennifer M. Rose
- Jennifer Mindel
- Jennifer Savage
- Jennifer V. Helms
- Jennifer Walsh
- Jenny Wolfe
- Jeri Perry
- Jerry Smith
- Jerry Whetstone
- Jessica Basefsky
- Jessica Gaultney
- Jessica Miner
- Jessica Tonsfeldt
- Jiayan Huang
- Jill A. Salerno
- Jill Johnson
- Joan DuPont
- Joan Overend
- Joan Videtich
- JoAnn Starr
- Jodi Creighton
- Joe Logan
- Joel A. Pearlman
- John Bucci
- John Choong
- John Christoforidis
- John Davies
- John DuBois
- John Head
- John Kitchens
- John L. Davis
- John Martin
- John Pach
- John Peterson
- John S. Pollack
- John Snater
- John T. Thompson
- John Wells
- John Zilis
- JoLene G. Carranza
- Jonathan McCue
- Jonathan Prenner
- Joseph Coney
- Joseph Googe
- Joseph Khawly
- Joseph M. Civantos
- Joseph Maguire
- Joseph P. Walker
- Joseph Rossi
- Joy Elliott
- Joyce W. Bryant
- Juan E. Grunwald
- Juan E. Grunwald
- Juan E. Grunwald
- Juan E. Grunwald
- Juan Romero
- Judith Alexander
- Judith Hall
- Judy Brower
- Judy Liu
- Julia Monsonego
- Julia Wray
- Julianne Enloe
- Julie Hammersley
- Julio Sierra
- Justin Brown
- Justin Gottlieb
- Justin Smith
- Kammerin White
- Karen Capaccioli
- Karen Duignan
- Karim Jamal
- Karin Berg
- Karin Mutz
- Karishma Chandra
- Karl Olsen
- Kate Palitsch
- Katelyn Hall
- Kathryn Burke
- Kathryne McKinney
- Kathy McWilliams
- Kathy McWilliams
- Kathyrn Damato
- Katie Moses
- Katrina Crooks
- Katrina Imson
- Katrina Winter
- Kayla Henry
- Kean Oh
- Keith Gray
- Keith McBroom
- Kellie Murphy
- Kelly Avery
- Kelly Clark
- Kelly J. Winters
- Kelly Pepple
- Kelly Robinson
- Kelly Shields
- Kelly West
- Kenneth Graham
- Kenneth Moffat
- Kevin Blinder
- Kiersten Nelson
- Kim Bell
- Kim LaCivita
- Kim Whale
- Kimberly Cummings
- Kimberly DuBois
- Kimberly Welch
- Kimberly Yeckel
- Kirk Packo
- Kourous Rezaei
- Kris Chase
- Krista Sepielli
- Kristen DAmore
- Kristin Mosenthine
- Kristina Oliver
- Kristine A. Dietzman
- Lacy Palazzotta
- LaDetrick Oliver
- Lana Kryuchkov
- Lance Kennedy
- Larry Disney
- Larry Malott
- Larry Wilson
- Laura Lonsdale
- Laura Murphy
- Lauren Welch
- Lawrence Halperin
- Lawrence J. Singerman
- Lawrence M. Friedman
- Lawrence Morse
- Lena Redden
- Leonard Joffe
- Lesley Freese
- Leslie Barresi
- Leslie Russel
- Linda Curtis
- Linda Okoren
- Linda Rosas
- Linda S. Arredondo
- Linda S. Bennett
- Linda S. Bennett
- Lindreth DuBois
- Lindsey Cloaninger
- Lindsey Williams
- Lisa Byank
- Lisa Grande
- Lisa Hunter
- Lisa Lavetsky
- Lisa Mayleben
- Lisa Pierce
- Lisa Preston
- Lisa Staples
- Lisa Wheeler
- Lisha Wan
- Liz Beckner
- Liz Reader
- Llewellyn Burns
- Loraine Clark
- Loretta Studenko
- Lori Bruce
- Lori Coors
- Lori Merlotti
- Louis Lobes
- LuAnne Taylor
- Lucia O'Connor
- Lynda Boyd
- Lynn Cruz
- Lynn Schueckler
- Maan Nasir
- Mallie Taylor
- Mandeep Dhalla
- Manfred von Fricken
- Marc Spirn
- Marcia Grillo
- Marcia Kopfer
- Marcia R. Kopfer
- Margaret Graham
- Margaret Ruszczyk
- Margo Andrews
- Mari Bunnell
- Maria Ortiz
- Maria Rosario
- Maria Schmucker
- Marian Walsh
- Marianne Schlameuss
- Maricruz Martinez
- Marilyn Katz
- Marisa Salvador
- Marissa Scherf
- Mark Peters
- Mark Thomas
- Mark W. Johnson
- Mark Walsh
- Marriner Skelly
- Marta Gonzalez
- Martha Moos
- Martin
- Martin
- Martin Friedlander
- Mary Brightwell-Arnold
- Mary Brightwell-Arnold
- Mary Chasteen
- Mary Ciotti
- Mary Ilc
- Mary Johnson
- Mary Robertson
- Mary Zajechowski
- Maryann Jay
- MaryAnn McCain
- Maryann Redford
- Maryann Redford
- Maryann Redford
- Maryanth Constantine
- Matt Raeber
- Matthew Benz
- Matthew Coppola
- Matthew Giust
- Matthew T. Trese
- Matthew Thomas
- Maureen D. Toomey
- Maureen G. Maguire
- Maureen G. Maguire
- Maureen G. Maguire
- Maureen G. Maguire
- Maureen G. Maguire
- Maxwell Pistilli
- Mays El-Dairi
- Meaghan Crow
- Melissa Bartlett
- Melvin Rabena
- Meredith Persons
- Merrilee Sgorlon
- Merritt Gammage
- Michael Altaweel
- Michael Chitjian
- Michael Elman
- Michael Flory
- Michael Klein
- Michael Lambert
- Michael Lee
- Michael M. Lai
- Michael Mackens
- Michael McOwen
- Michael Morley
- Michael Novak
- Michael Osman
- Michael Potts
- Michael T. Trese
- Michele Connaughton
- Michele Formoso
- Michele Powers
- Michelle Amonette
- Michelle Bottorff
- Michelle Buck
- Michelle Coleman
- Michelle McCall
- Miguel Almonte
- Miguelina Yafchak
- Mike Jones
- Mimi Liu
- Misty Moore
- Misty Youngberg
- Mitchell Fineman
- Mitchell Schain
- Mohammed K. Barazi
- Monica Lopez
- Nakhleh Abu-Yaghi
- Nancy Gore
- Nancy Holekamp
- Nancy Price
- Nanette Carlson
- Nanette Jones
- Natalya Gud
- Natasha Williams
- Neal Oestreich
- Neelam Thukral
- Neeru Sarin
- Nicholas Anderson
- Nicholas Emmanuel
- Nicholas Engelbrecht
- Nicholas Hesse
- Nicole Kavanagh
- Nicole M. Lucko
- Nina Ansari
- Nina Varghis
- Noreen McClain
- Norma Jimenez
- Nyla Secor
- Odette Houghton
- P. Kumar Rao
- Pam Miller
- Pamela Rath
- Pamela Rieves
- Pamela Singletary
- Patricia Aramayo
- Patricia Bradley
- Patricia Kline
- Patrick Tenbrink
- Patrick Williams
- Paul Blais
- Paul Conrad
- Paul Raphaelian
- Paul Raskauskas
- Pearl Leotaud
- Peggy Gilbert
- Peggy Miller
- Peter Francis
- Peter Roberts
- Peter Sonkin
- Peter Sotirakos
- Peter Steinkamp
- Philip J. Ferrone
- Piccolino
- Polly Quiram
- Pravin Dugel
- Prithvi Mruthyunjaya
- Rachel Arnott
- Rachel Pierce
- Raj Maturi
- Ramin Sarrafizadeh
- Randy Verdick
- Raymond Iezzi
- Raymond Sjaarda
- Razmig Babikian
- Reagan H. Bradford
- Rebecca Fitzgerald
- Rebecca Youngblood
- Reginald Sanders
- Reid Schindler
- Reina Yebra
- Rhonda Waldron
- Rhonda Weeks
- Richard A. Garfinkel
- Richard F. Dreyer
- Richard Fish
- Richard Grodin
- Richard Kaiser
- Rick Isernhagen
- Ristau
- Rita Veksler
- Rob Richmond
- Robbin Spivey
- Robert Bergren
- Robert Equi
- Robert Frantz
- Robert L. Avery
- Robert L. Avery
- Robert Mittra
- Robert Myles
- Robert N. Johnson
- Robert Ramsay
- Robert See
- Robert Wang
- Robert Wendel
- Robin Mitchell
- Robin Ty
- Rohana Yager
- Ronald Glatzer
- Ronald Kingsley
- RonaLyn Esquejo-Leon
- Ronnie Tomany
- Rosa Rodriguez
- Rosenfeld
- Roy Ann Moore
- Roy Trent Wallace
- Ruchira Glaser
- Russ Burris
- Russell Burns
- Russell E. Burns
- Ryan Neist
- Ryan Shultz
- Saba Mukarram
- Sally Arceneaux
- Sandra Arenas
- Sandra Harkins
- Sandra Reed
- Sandra Sall
- Sandra Stinnett
- Sandy Chong
- Sandy Lash
- Sandy Lewis
- Sandy Parker
- Sara Beardsley
- Sara Crowell
- Sara Downs
- Sarah Brett
- Sarah Buckley
- Sarah Ennis
- Sarah Gach
- Sarah Hines
- Sarah Jones
- Sarah Mobley
- Sarah Nolte
- Sarah Oelrich
- Sarah Pachman
- Sarah Risard
- Sarita Scott
- Sashi Kaur
- Saxena
- Scheleen Dickens
- Scott Pendergast
- Scott Pickell
- Scott Savage
- Scott Sneed
- Sean Grout
- Sepideh Hami
- Serena Neal
- Shamekia Newton
- Shannon Goddard
- Shannon Howard
- Shannya Townsend-Patrick
- Shantia Shears
- Sharon Fekrat
- Shashi Kini
- Shawnique Latham
- Shayla Hay
- Sheila Smith-Brewer
- Shelly Olson
- Shelly Valardi
- Sheri Carbon
- Shirley Ira
- Silvia Linares
- Sohail Hasan
- Solomon
- Sonny Icks
- Sophia Griffin
- Sophie J. Bakri
- Sophie J. Bakri
- Srilaxmi Bearelly
- Stacey Andelman
- Stacy McGilvra
- Starr Muscle
- Stefani Karakas
- Stephanie Morrow
- Stephanie Schindeldecker
- Stephen Couvillion
- Stephen Fransen
- Stephen Hobbs
- Stephen L. Perkins
- Stephen Petty
- Stephen Russell
- Stephen Shelley
- Stephen Young
- Steve Bennett
- Steven Bailey
- Steven Bennett
- Steven Leff
- Steven Schremp
- Stuart Green
- Stuart L. Fine
- Stuart L. Fine
- Stuart L. Fine
- Sujatha Subramaniam
- Sundeep Dev
- Sunil Srivastava
- Sunir Garg
- Suresh R. Chandra
- Susan B. Bressler
- Susan Brown
- Susan K. Nolte
- Susan K. Nolte
- Susan K. Nolte
- Susan Pope
- Susan Rath
- Susan Ryan
- Susanna S. Park
- Susannah Held
- Susie Chang
- Svetlana Reznichenko
- T. Michael Nork
- Tammy Butcher
- Tammy Ressel
- Taneika Howard
- Tanya Marsh
- Tarek Hassan
- Teresa Coffey
- Teresa Liesegang
- Terri Kidd
- Terry Hawks
- Thea Tantum
- Theodossiadis
- Theresa Cain
- Theresa Jeffers
- Thomas A. Ciulla
- Thomas Aaberg
- Thomas Hwang
- Thomas Link
- Thomas Stevens
- Thomas W. Stone
- Tien Wong
- Tiffany Guerrero
- Tiffany Swinford
- Tim Wright
- Timothy Crew
- Timothy Olsen
- Tina Bell
- Tina Bell
- Tina Cleary
- Tina T. Higdon
- Todd Blevins
- Todd Petrin
- Tom Shannon
- Tom Steele
- Tony Tsai
- Tonya Harrington
- Tori Jones
- Torsten Wiegand
- Tracey Brady
- Tracy Aly
- Tracy Grooten
- Travis A. Meredith
- Travis A. Meredith
- Trenise Steele
- Trexler M. Topping
- Troy Kieser
- Uma Balasubramaniam
- Ursula Lord
- Valerie Kirschner
- Valerie Lazarte
- Vanessa Bergman
- Vanessa Denny
- Vasanti Sookhai
- Veronica Sneed
- Vicky Seitz
- Virginia R. Regan
- Vivian Tanner
- W. Lloyd Clark
- Wanda Heath
- Wayne Solley
- Willia Ingram
- William Carli
- William Gilbert
- William Snyder
- William Wood
- Witmer
- Yesmin Urias
- Ying
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study